K($P$)@$e$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$${\it e'}$:PossibleEvent(${\it poss}$). $R$($e$,${\it e'}$) $\Rightarrow$ $P$(${\it e'}$)